Section: New Software and Platforms

THEMIS

THEMIS: A Tool for Decentralized Monitoring Algorithms

Keywords: Monitoring - Simulation

Functional Description: THEMIS consists of a library and command-line tools. It provides an API, data structures and measures for decentralized monitoring. These building blocks can be reused or extended to modify existing algorithms, design new more intricate algorithms, and elaborate new approaches to assess existing algorithms.

• Participants: Antoine El Hokayem and Ylies Falcone

• Contact: Antoine El Hokayem

• Publications: THEMIS: A Tool for Decentralized Monitoring Algorithms - Monitoring Decentralized Specifications

• URL: https://gitlab.inria.fr/monitoring/themis/